منابع مشابه
Abstract Specifications for Concurrent Maps
Specifications for Concurrent Maps (Extended Version) Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, and Philippa Gardner Imperial College London, UK {sx14,pmd09,gn408,pg}@ic.ac.uk Abstract. Despite recent advances in reasoning about concurrent data structure libraries, the largest implementations in java.util.concurrent have yet to be verified. The key issue lies in the development of modular ...
متن کاملGraphical Abstract Description and Specifications
In an effort to enhance IEEE Xplore®, a Graphical Abstract can be displayed along with traditional text. The Graphical Abstract should provide a visual summary of the findings of the article by means of an image, animations, movies, or audio to help make clear the point of the article. To assist authors with providing graphical abstracts to be displayed with their articles, we are providing the...
متن کاملTowards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages
The abstract syntax of domain-specific modeling languages (DSMLs) can be defined with meta-models. Meta-models can contain errors. Nevertheless, they are not tested systematically and independently of dependent artifacts like models or tools. Consequently, errors are found late—not before the dependent artifacts have been created. Since all dependent artifacts must be adapted when an error is f...
متن کاملAutomatic Testing from Formal Specifications
In this article, we consider model oriented formal specification languages. We generate test cases by performing symbolic execution over a model, and from the test cases obtain a Java program. This Java program acts as a test driver and when it is run in conjunction with the implementation then testing is performed in an automatic manner. Our approach makes the testing cycle fully automatic. Th...
متن کاملTesting with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and very expensive. Even determining the quality of software is not easy. Testing is by far the most used way to estimate the quality of software. Testing itself is not easy and time consuming. In order to reduce the costs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2014
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-014-0301-x